Automatikos terminų žodynas. – Vilnius: Technika. Vilius Antanas Geleževičius, Angelė Kaulakienė, Stanislovas Marcinkevičius. 2004.
Symbole logique — ● Symbole logique connecteur propositionnel, quantificateur existentiel ∃ ou universel ∀, ou symbole d égalité =, par opposition aux symboles non logiques, particuliers à une théorie mathématique donnée (exemple : le symbole ∊ d appartenance est… … Encyclopédie Universelle
SYMBOLE — Traditionnellement, le terme de symbole recouvre trois ensembles de significations nettement distincts. Le sens courant attribue à la notion de symbole un sens proche de celui d’analogie emblématique. La colombe est le symbole de la paix, le lion … Encyclopédie Universelle
Symbole descriptif — ● Symbole descriptif symbole qui renvoie à un objet matériel, à une loi physique, et de façon générale à une réalité qui ne relève pas de la logique mathématique, par différence avec le symbole logique … Encyclopédie Universelle
logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure … Encyclopédie Universelle
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
Logique (mathématiques) — Logique mathématique La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et… … Wikipédia en Français
Logique Mathématique — La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et Hilbert de donner une … Wikipédia en Français
Logique mathematique — Logique mathématique La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et… … Wikipédia en Français
Logique formelle — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas … Wikipédia en Français
Logique générale — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas … Wikipédia en Français
